FDL - Step of Proof: less-fast-fib-opt

Step of Proof: less-fast-fib-opt

Inference at *
Iof proof for Lemma less-fast-fib-opt:

n:

. {m:

| m = fib(n)}

by (Id)

CollapseTHEN (optimize_extract (ioid Obid: less-fast-fib) LinearC)

C1:

C1:

TERMOF{less-fast-fib:ObjectId, \\v:l}

(

n:

. {m:

| m = fib(n)} )

C.